- теорія доведень
- ТЕОРІЯ ДОВЕДЕНЬ - розділ сучасної логіки, предметом дослідження якого є доведення - як синтаксичного об'єкта і як динамічної процедури, визначених у різноманітних логічних системах.
Філософський енциклопедичний словник / НАН України, Ін-т філософії ім. - К. : Абрис (Бібліотека Державного фонду фундаментальних досліджень). Г. С. Сковороди; редкол.: В. І. Шинкарук . 2002.